🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Mastering Collections in C#
dev.to·18h·
Discuss: DEV
🔗Concatenative Languages
Three Meanings of Effects
burakemir.ch·1d·
Discuss: Hacker News
💫Effect Systems
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·1d
📋S-Expression
I built a Go framework: Anclax
github.com·1h·
Discuss: Hacker News
🐹Go Runtime
From Zero to Java: Day 2 of My Backend Development Journey
dev.to·1d·
Discuss: DEV
🔧API Design
The Case Against DRY
reddit.com·10h·
Discuss: r/webdev
🌳Tree Shaking
Polymorphism for Beginners
roscidus.com·17h·
Discuss: Hacker News
🎭Polymorphic Variants
Object Orientation [2013 !]
jackrusher.com·17h·
Discuss: Hacker News
💬Smalltalk VMs
Two Number Theory Items (and Woody Allen)
math.columbia.edu·15h
∫Mathematical DSLs
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·10h·
Discuss: Hacker News
⚡Tokenizer Optimization
State Management in Vanilla JS
dev.to·2h·
Discuss: DEV
🏛️Elm Architecture
Generics and Variance with Java
dev.to·10h·
Discuss: DEV
🗂️Type Indexing
Cactus Language • Discussion 3
inquiryintoinquiry.com·15h
📋Backus-Naur Form
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·2h·
Discuss: Hacker News
⚡Algebraic Effects
Some Notes I Took on Software Architecture
lautarolobo.xyz·1d·
Discuss: Hacker News, r/programming
🔄Bootstrapping
Let's look at the structure of Vec<T>
marma.dev·21h·
Discuss: r/rust
🔒Rust Borrowing
Enter Sandbox 30: Static Analysis gone wrong
hexacorn.com·1d
🛡️Parser Security
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes
eprint.iacr.org·16h
🎯Ring Buffers
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·1d·
Discuss: r/programming
🌳Pattern Match Compilation
Template Your Own Clean, Precise Boilerplate Code: No AI, No Wallet Drain. Part 3 – Enough Theory, Now We Code
dev.to·21h·
Discuss: DEV
📚Self-Documenting Code